On the Arithmetic of Recursively Run-length Compressed Natural Numbers

نویسنده

  • Paul Tarau
چکیده

We study arithmetic properties of a new treebased number representation, Recursively run-length compressed natural numbers, defined by applying recursively a run-length encoding of their binary digits. Our representation supports novel algorithms that, in the best case, collapse the complexity of various computations by superexponential factors and in the worse case are within a constant factor of their traditional counterparts. As a result, it opens the door to a new world, where arithmetic operations are limited by the structural complexity of their operands, rather than their bitsizes. Keywords-run-length compressed numbers, hereditary numbering systems, arithmetic algorithms for giant numbers, structural complexity of natural numbers

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers

We study arithmetic properties of a new tree-based canonical number representation, recursively run-length compressed natural numbers, defined by applying recursively a run-length encoding of their binary digits. We design arithmetic and boolean operations with recursively runlength compressed natural numbers that work a block of digits at a time and are limited only by the representation compl...

متن کامل

A Prolog Specification of Giant Number Arithmetic

The tree based representation described in this paper, hereditarily binary numbers, applies recursively a run-length compression mechanism that enables computations limited by the structural complexity of their operands rather than by their bitsizes. While within constant factors from their traditional counterparts for their worst case behavior, our arithmetic operations open the doors for inte...

متن کامل

Decidability and Undecidability in the Enumerable Turing Degrees

We survey some recent work on the (recursively) enumerable Turing degrees, with particular emphasis on work relating to decidability and undecidability. Two fundamental notions of mathematics are those of a computable set and of an enumerable set. A set S is called computable (or recursive) if there is an e ective algorithm which for any input x can compute whether x is an element of S. A set S...

متن کامل

System Level Design of the Adaptive Arithmetic Encoding Used in the JPEG 2000 Standard

Hardware implementation of the JPEG 2000 image compression standard for real-time image compression requires implementation of the adaptive arithmetic encoder among other related algorithms. In this work, a system level design for the adaptive arithmetic encoder used in the JPEG 2000 standard is proposed. This design is based on the assumption that the bit-sequence and its corresponding context...

متن کامل

On the structural properties for the cross product of fuzzy numbers with applications

In the fuzzy arithmetic, the definitions of addition and multiplication of fuzzy numbers are based on Zadeh’s extension principle. From theoretical and practical points of view, this multiplication of fuzzy numbers owns several unnatural properties. Recently, to avoid this shortcoming, a new multiplicative operation of product type is introduced, the so-called cross-product of fuzzy numbers. Th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013